Mutual exclusion

Results: 185



#Item
11Concurrency control / Computing / Computer architecture / Concurrent computing / Readerswriter lock / Non-blocking algorithm / Lock / Linearizability / Parallel computing / Consensus / Mutual exclusion / File locking

Design of Parallel and High-Performance Computing Fall 2015 Lecture: Locks and Lock-Free continued Motivational video: https://www.youtube.com/watch?v=-7Bpo1Quxyw

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2015-11-23 13:58:39
12Concurrency control / Computing / Software engineering / Model checkers / Software / Promela / Monitor / Mutual exclusion / SPIN model checker / Lock / XC / Printf format string

spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2015-11-26 12:08:20
13Concurrency control / Computing / Software / Computer programming / Lock / Monitor / File locking / Synchronization / Linearizability / Mutual exclusion

Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz I Solutions

Add to Reading List

Source URL: nil.csail.mit.edu

Language: English - Date: 2015-01-05 06:37:34
14Concurrency control / Edsger W. Dijkstra / Computing / Software engineering / Computer programming / Concurrency / Reentrant mutex / Deadlock / Lock / Mutual exclusion / Thread

Microsoft PowerPoint - livelock-rv12

Add to Reading List

Source URL: rv2012.ku.edu.tr

Language: English - Date: 2012-10-04 10:58:49
15Concurrency control / Lock / Synchronization / Granularity / File locking / Mutual exclusion / Thread / Non-blocking algorithm

Programmazione di sistemi multicore A.ALECTURE 14 IRENE FINOCCHI

Add to Reading List

Source URL: twiki.di.uniroma1.it

Language: English - Date: 2015-11-24 06:15:50
16Concurrency control / Software transactional memory / Compare-and-swap / Non-blocking algorithm / ABA problem / Monitor / Hazard pointer / Lock / Load-link/store-conditional / Linearizability / Mutual exclusion / Thread safety

Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , .

Add to Reading List

Source URL: pirkelbauer.com

Language: English - Date: 2011-11-03 23:34:26
17Concurrency control / Lock / MPICH / File locking / Linearizability / Mutual exclusion / Fetch-and-add / Parallel computing / Synchronization / Test-and-set / Message Passing Interface

Implementing MPI-IO Atomic Mode Without File System Support Robert Ross Robert Latham William Gropp Rajeev Thakur Brian Toonen Mathematics and Computer Science Division Argonne National Laboratory

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2016-08-16 11:52:12
18Concurrency control / Linearizability / Lock / Resource Acquisition Is Initialization / FIFO / Mutual exclusion / Queue / Monitor

Review of last lecture  Cache-coherence is not enough!  Many more subtle issues for parallel programs!

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2013-10-13 13:49:30
19Concurrency control / Lock / Mutual exclusion / Non-blocking algorithm / File locking / Two-phase locking / Tree traversal / Parallel computing / Linearizability / Deadlock / Synchronization / Key

Administrivia  Design of Parallel and High-Performance Computing Fall 2013

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2014-11-30 16:07:53
20Concurrency control / Transaction processing / Data management / Linearizability / Databases / Sequential consistency / Parallel computing / Serializability / Non-blocking algorithm / Schedule / Lock / Mutual exclusion

Design of Parallel and High-Performance Computing Fall 2013 Lecture: Languages and Locks Instructor: Torsten Hoefler & Markus Püschel

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2014-10-26 16:22:37
UPDATE